Synthesis of Schedulers for Planned Shutdowns of Power Plants - Knowledge-Based Software Engineering Conference, 1996., Proceedings of the 11th

Synthesis of schedulers for planned shutdowns of power plants

We describe the synthesis of eecient schedulers for planned shutdowns of power plants for refueling and maintenance (outages), using an automated programming tool, KIDS. Currently, the utility industry has no automated tools to generate schedules that are both safe and resource-eecient. We focused on safety constraints since they are critical in this application. There are several aspects of th...

Proceedings of the First MEFOMP International Conference of Medical Physics: November 2-4, 2011, Shiraz, Iran

Safety Analysis Using Coloured Petri Nets - Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific

I n this paper, we propose a safety analysis method using coloured Petri nets (CPN). Our method employs a backward approach where a hazard is assumed to have occurred and backward simulation from the hazard is performed in order to determine i f and how the hazard might occur. Using CPN, we define a hazard as a set of markings and perform backward simulation by generating a reachability graph b...

Special Issue for 11th International Conference of Iranian Operations Research Society

This is a special issue of the Iranian Journal of Operations Research that includes some of the invited talks presented at the 11th international conference of the Iranian Operations Research Society (IORS), organized jointly by IORS and Razi University of Kermanshah and held at the Razi University, Kermanshah, Iran, May 2-4, 2018. The IORS conference is held annually and is the main event ...

Formal Foundations of Reuse and Domain Engineering, 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Bargaining with reading habit is no need. Reading is not kind of something sold that you can take or not. It is a thing that will change your life to life better. It is the thing that will give you many things around the world and this universe, in the real world and here after. As what will be given by this formal foundations of reuse and domain engineering 11th international conference on sof...